(set-logic QF_LIA)
(declare-fun i5 () Int)
(declare-fun i13 () Int)
(declare-fun i19 () Int)
(assert (> i19 i5))
(assert (=> (> 89 i19) (> i13 55)))
(push 1)
(assert (=> (> i13 55) false))
(check-sat)
